#include <inc/types.h>

struct sem
{
	volatile	uint64_t semph;
};

